A number of `no-proposition' approaches to the liar paradox find themselves implicitly committed to a moderate disquotational principle: the principle that if an utterance of the sentence `$P$' says anything at all, it says that $P$ (with suitable restrictions). I show that this principle alone is responsible for the revenge paradoxes that plague this view. I instead propose a view in which there are several closely related language-world relations playing the `semantic expressing' role, none of which is more central to (...) semantic theorizing than any other. I use this thesis about language and the negative result about disquotation to motivate the view that people do say things with utterances of paradoxical sentences, although they do not say the proposition you'd always expect, as articulated with a disquotational principle. (shrink)

In this well-structured monograph, Stephen A. McKnight seeks to correct the view that Francis Bacon’s use of religious motifs and tropes is “manipulative,” “cynical,” and “disingenuous,” a view McKnight considers the “prevailing” one. To accomplish his goal, McKnight subjects several of Bacon’s works to a close reading. He concludes that the “pervasiveness of religious motifs, scriptural references, and biblical doctrines” in Bacon’s writings “establish the central role religion plays in Bacon’s thought”. McKnight holds that Bacon’s (...) religiosity is not disingenuous, but sincere. . . . . In documenting religious motifs in several of Bacon’s writings, this book is a valuable success. In characterizing Bacon’s religious beliefs and how they influenced the rest of his thought, it is much less convincing. (shrink)

This work intentionally joins Stephen A. McKnight’s The Religious Foundations of Francis Bacon’s Thought in arguing that Sir Francis Bacon was more deeply religious than he is conventionally thought to have been. Though the book is full of interesting suggestions, a lack of breadth, rigor, and precision will leave many readers unconvinced. . . . Those who know the corpus and secondary literature enough to read critically will find here provocative suggestions and intriguing leads. Others will need to (...) be cautious about the book’s arguments and conclusions. (shrink)

A revisionist account of how philosophical induction was conceived in the ancient world and how that conception was transmitted, altered, and then rediscovered. I show how philosophers of late antiquity and then the medieval period came step-by-step to seriously misunderstand Aristotle’s view of induction and how that mistake was reversed by humanists in the Renaissance and then especially by Francis Bacon. I show, naturally enough then, that in early modern science, Baconians were Aristotelians and Aristotelians were Baconians.

How induction was understood took a substantial turn during the Renaissance. At the beginning, induction was understood as it had been throughout the medieval period, as a kind of propositional inference that is stronger the more it approximates deduction. During the Renaissance, an older understanding, one prevalent in antiquity, was rediscovered and adopted. By this understanding, induction identifies defining characteristics using a process of comparing and contrasting. Important participants in the change were Jean Buridan, humanists such as Lorenzo Valla and (...) Rudolph Agricola, Paduan Aristotelians such as Agostino Nifo, Jacopo Zabarella, and members of the medical faculty, writers on philosophy of mind such as the Englishman John Case, writers of reasoning handbooks, and Francis Bacon. (shrink)

Aristotle said that induction (epagōgē) is a proceeding from particulars to a universal, and the definition has been conventional ever since. But there is an ambiguity here. Induction in the Scholastic and the (so-called) Humean tradition has presumed that Aristotle meant going from particular statements to universal statements. But the alternate view, namely that Aristotle meant going from particular things to universal ideas, prevailed all through antiquity and then again from the time of Francis Bacon until the mid-nineteenth century. (...) Recent scholarship is so steeped in the first-mentioned tradition that we have virtually forgotten the other. In this essay McCaskey seeks to recover that alternate tradition, a tradition whose leading theoreticians were William Whewell, Francis Bacon, Socrates, and in fact Aristotle himself. The examination is both historical and philosophical. The first part of the essay fills out the history. The latter part examines the most mature of the philosophies in the Socratic tradition, specifically Bacon’s and Whewell’s. After tracing out this tradition, McCaskey shows how this alternate view of induction is indeed employed in science, as exemplified by several instances taken from actual scientific practice. In this manner, McCaskey proposes to us that the Humean problem of induction is merely an artifact of a bad conception of induction and that a return to the Socratic conception might be warranted. (shrink)

I argue that European schools of thought on memory and memorization were critical in enabling growth of the scientific method. After giving a historical overview of the development of the memory arts from ancient Greece through 17th century Europe, I describe how the Baconian viewpoint on the scientific method was fundamentally part of a culture and a broader dialogue that conceived of memorization as a foundational methodology for structuring knowledge and for developing symbolic means for representing scientific concepts. The principal (...) figures of this intense and rapidly evolving intellectual milieu included some of the leading thinkers traditionally associated with the scientific revolution; among others, Francis Bacon, Renes Descartes, and Gottfried Leibniz. I close by examining the acceleration of mathematical thought in light of the art of memory and its role in 17th century philosophy, and in particular, Leibniz’s project to develop a universal calculus. (shrink)

Frege discussed Mill’s empiricist ideas and Kant’s rationalist ideas about the nature of mathematics, and employed Set Theory and logico-philosophical notions to develop a new concept for the natural numbers. All this is objectively exposed by this paper.

Kant and Descartes followed an extreme clever, secure way of reasoning. For them, there must be a world of differences, or of movement, before we can extract anything (ideas, laws, concepts, etc.) from the world. For Kant, these “changes” that secure the possibility of knowledge were the ones we can measure with the categories of space and time. While, for Descartes, since there exist two things: “me” and “the world”, we can say knowledge is possible. But I think we can (...) extract a more abstract, general principle from the similarities between both Descartes and Kant’s mobilist tendency. (shrink)

In 1956, a few writings of Wittgenstein that he didn't publish in his lifetime were revealed to the public. These writings were gathered in the book Remarks on the Foundations of Mathematics (1956). There, we can see that Wittgenstein had some discontentment with the way philosophers, logicians, and mathematicians were thinking about paradoxes, and he even registered a few polemic reasons to not accept Gödel’s incompleteness theorems.

It is undeniable Poincaré was a very famous and influential scientist. So, possibly because of it, it was relatively easy for him to participate in the heated discussions of the foundations of mathematics in the early 20th century. We can say it was “easy” because he didn't get involved in this subject by writing great treatises, or entire books about his own philosophy of mathematics (as other authors from the same period did). Poincaré contributed to the philosophy of mathematics by (...) writing short essays and letters. (shrink)

Let’s suppose all the rules of physics will change, but, before the change, we finally figured out everything there was to be figured out about physics. This means that we achieved pragmatic completeness at that point. It’s not a universal Platonic completeness, but everything there was to be expressed about the physics at that moment was expressed.

Leopold Kronecker (1823–1891) was a German mathematician who worked on number theory and algebra. He is considered a pre-intuitionist, being only close to intuitionism because he rejected Cantor’s Set Theory. He was, in fact, more radical than the intuitionists. Unlike Poincaré, for example, Kronecker didn’t accept the transfinite numbers as valid mathematical entities.

This paper objectively defines the three main contemporary philosophies of mathematics: formalism, logicism, and intuitionism. Being the three leading scientists of each: Hilbert (formalist), Frege (logicist), and Poincaré (intuitionist).

Husserl came over to philosophy from mathematics and he devoted many years to the formulation of a firm foundation for Philosophy that could even secure the status of "science" for it. But unlike some of his contemporaries (like Frege and Russell), he did not seek salvation for philosophy in the mathematical method. He argued philosophy (like any other field of study) should pay attention to uninterpreted basic experience and this would lead the way to understanding the essence of things. Essence, (...) then, would become conscious and this process was addressed by him as “phenomenological reduction.”. (shrink)

As a contribution to a wider discussion on moral discernment in theological anthropology, this paper seeks to answer the question “What is the impact of mental illness on an individual’s ability to make moral decisions?” Written from a clinical psychiatric perspective, it considers recent contributions from psychology, neuropsychology and imaging technology. It notes that the popular conception that mental illness necessarily robs an individual of moral responsibility is largely unfounded. Most people who suffer from mental health problems do not lose (...) the capacity to make moral decisions, and mental illness on its own rarely explains anti-social or criminal behaviour. Moreover, the assumptions of some scientists, that recent developments in neuropsychology and brain imaging suggest biological determinism, must be treated with caution. (shrink)

This paper continues and extensive exploration of the QG and TOE resulting from the PF interpretation of QM. Some highlights are an exploration of symmetries of the Standard Model, outlines of testable predictions of implications for QG, that this theory can simultaneously give an account of dark matter and dark energy, probabilities and statevector collapse vs. gravity, applications of the causal interaction tensor Cαβγδ(Fi, Fj). Note the first section mentions qualia but this is not a psychological theory this is an (...) ontic theory. (shrink)

"This self-consistent evolution of the fragments, their causal relationships, and their quantum properties is at the heart of the FCQG-SM framework, providing a unified description of quantum mechanics, general relativity, and the Standard Model.".

This article was produced as an introduction to a Portuguese translation of an article by Henri Poincaré titled "The new conceptions of matter". The aim of this introduction was to shortly summarize Poincaré's scientific and philosophical production, to approach the circumstances on which the text was originally presented and, finally, to analyze the relationship - or the lack of it - that Poincaré establishes between science and materialism.

This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory is given both a (...) diagrammatic representation, and a logical representation in a novel language. In the latter half of the paper I turn to some technical questions concerning the treatment of quantification, and demonstrate various equivalences between the diagrammatic and logical representations, and a fragment of the $\lambda$-calculus. (shrink)

We develop a theory of necessity operators within a version of higher-order logic that is neutral about how fine-grained reality is. The theory is axiomatized in terms of the primitive of *being a necessity*, and we show how the central notions in the philosophy of modality can be recovered from it. Various questions are formulated and settled within the framework, including questions about the ordering of necessities under strength, the existence of broadest necessities satisfying various logical conditions, and questions about (...) their logical behaviour. We also wield the framework to probe the conditions under which a logicist account of necessities is possible, in which the theory is completely reducible to logic. (shrink)

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

This three-part chapter explores a higher-order logic we call ‘Classicism’, which extends a minimal classical higher-order logic with further axioms which guarantee that provable coextensiveness is sufficient for identity. The first part presents several different ways of axiomatizing this theory and makes the case for its naturalness. The second part discusses two kinds of extensions of Classicism: some which take the view in the direction of coarseness of grain (whose endpoint is the maximally coarse-grained view that coextensiveness is sufficient for (...) identity), and some which take the view in the direction of fineness of grain (whose endpoint is the maximally fine-grained theory containing all distinctness claims compatible with Classicism). The third part introduces some techniques for constructing models of Classicism, and uses them to prove the consistency of many of the extensions of Classicism introduced in the second part. (shrink)

Higher-order logic augments first-order logic with devices that let us generalize into grammatical positions other than that of a singular term. Some recent metaphysicians have advocated for using these devices to raise and answer questions that bear on many traditional issues in philosophy. In contrast to these 'higher-order metaphysicians', traditional metaphysics has often focused on parallel, but importantly different, questions concerning special sorts of abstract objects: propositions, properties and relations. The answers to the higher-order and the property-theoretic questions may coincide (...) sometimes but will often come apart. I argue that when they do, the higher-order questions are closer to the metaphysical action and so it would be better for these debates to proceed in higher-order terms. (shrink)

This is a transcript of a conversation between P F Strawson and Gareth Evans in 1973, filmed for The Open University. Under the title 'Truth', Strawson and Evans discuss the question as to whether the distinction between genuinely fact-stating uses of language and other uses can be grounded on a theory of truth, especially a 'thin' notion of truth in the tradition of F P Ramsey.

One thousand fair causally isolated coins will be independently flipped tomorrow morning and you know this fact. I argue that the probability, conditional on your knowledge, that any coin will land tails is almost 1 if that coin in fact lands tails, and almost 0 if it in fact lands heads. I also show that the coin flips are not probabilistically independent given your knowledge. These results are uncomfortable for those, like Timothy Williamson, who take these probabilities to play a (...) central role in their theorizing. (shrink)

This is the first in a series of papers developing a theory of quantum gravity that is consistent with the PF interpretation of quantum mechanics. "Key Features: Reconciles quantum theory, general relativity, and the PF interpretation in a common framework...".

In explaining the notion of a fundamental property or relation, metaphysicians will often draw an analogy with languages. The fundamental properties and relations stand to reality as the primitive predicates and relations stand to a language: the smallest set of vocabulary God would need in order to write the “book of the world.” This paper attempts to make good on this metaphor. To that end, a modality is introduced that, put informally, stands to propositions as logical truth stands to sentences. (...) The resulting theory, formulated in higher-order logic, also vindicates the Humean idea that fundamental properties and relations are freely recombinable and a variant of the structural idea that propositions can be decomposed into their fundamental constituents via logical operations. Indeed, it is seen that, although these ideas are seemingly distinct, they are not independent, and fall out of a natural and general theory about the granularity of reality. (shrink)

We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models to show (...) that some of these logics are non-degenerate. (shrink)

There are extensive discussions of the 5D AdS metric that arises naturally from a metric that accounts for the A-series, the B-series, and x^a; black holes, including their information, entropy, temperature, energy, and energy density; the Big Bang; the finitude of singularities here; inflation; AdS/CFT and dS; symmetry groups of this theory of gravity not including and including those of the standard model, with evaluations of how integrated and how plausible they are; how the theory of quantum gravity here gives (...) general relativity in one limit and quantum mechanics in another limit; and much more. -/- Of particular interest is the physics based argument for the continuation of awareness after death, which starts on about page 196 and spans several pages. (shrink)

An increasing amount of twenty-first century metaphysics is couched in explicitly hyperintensional terms. A prerequisite of hyperintensional metaphysics is that reality itself be hyperintensional: at the metaphysical level, propositions, properties, operators, and other elements of the type hierarchy, must be more fine-grained than functions from possible worlds to extensions. In this paper I develop, in the setting of type theory, a general framework for reasoning about the granularity of propositions and properties. The theory takes as primitive the notion of a (...) substitution on a proposition (property, etc.) and, among other things, uses this idea to elucidate a number of theoretically important distinctions. A class of structures are identified which can be used to model a wide range of positions about the granularity of reality; certain of these structures are seen to receive a natural treatment in the category of M-sets. (shrink)

An increasing amount of contemporary philosophy of mathematics posits, and theorizes in terms of special kinds of mathematical modality. The goal of this paper is to bring recent work on higher-order metaphysics to bear on the investigation of these modalities. The main focus of the paper will be views that posit mathematical contingency or indeterminacy about statements that concern the `width' of the set theoretic universe, such as Cantor's continuum hypothesis. Within a higher-order framework I show that contingency about the (...) width of the set-theoretic universe refutes two orthodoxies concerning the structure of modal reality: the view that the broadest necessity has a logic of S5, and the "Leibniz biconditionals" stating that what is possible, in the broadest sense of possible, is what is true in some possible world. Nonetheless, I suggest that the underlying picture of modal set-theory is coherent and has attractions. (shrink)

Is the societal-level of analysis sufficient today to understand the values of those in the global workforce? Or are individual-level analyses more appropriate for assessing the influence of values on ethical behaviors across country workforces? Using multi-level analyses for a 48-society sample, we test the utility of both the societal-level and individual-level dimensions of collectivism and individualism values for predicting ethical behaviors of business professionals. Our values-based behavioral analysis indicates that values at the individual-level make a more significant contribution to (...) explaining variance in ethical behaviors than do values at the societal-level. Implicitly, our findings question the soundness of using societal-level values measures. Implications for international business research are discussed. (shrink)

Given any proposition, is it possible to have rationally acceptable attitudes towards it? Absent reasons to the contrary, one would probably think that this should be possible. In this paper I provide a reason to the contrary. There is a proposition such that, if one has any opinions about it at all, one will have a rationally unacceptable set of propositional attitudes—or if one doesn’t, one will end up being cognitively imperfect in some other manner. The proposition I am concerned (...) with is a self-referential propositional attitude ascription involving the propositional attitude of rejection. Given a basic assumption about what constitutes irrationality, and a few assumptions about the nature of cognitively ideal agents, a paradox results. This paradox is superficially like the Liar, but it is importantly different in that no alethic notions are involved at all. As such, it stands independent of the Liar and is not a ‘revenge’ version of it. After setting out the paradox I discuss possible responses. After considering several I argue that one is best off simply accepting that the paradox shows us something surprising and interesting about rationality: that some cognitive shortfall is unavoidable even for ideal agents. I argue that nothing disastrous follows from accepting this conclusion. (shrink)

Prior to Kripke's seminal work on the semantics of modal logic, McKinsey offered an alternative interpretation of the necessity operator, inspired by the Bolzano-Tarski notion of logical truth. According to this interpretation, `it is necessary that A' is true just in case every sentence with the same logical form as A is true. In our paper, we investigate this interpretation of the modal operator, resolving some technical questions, and relating it to the logical interpretation of modality and some views in (...) modal metaphysics. In particular, we present an hitherto unpublished solution to problems 41 and 42 from Friedman's 102 problems, which uses a different method of proof from the solution presented in the paper of Tadeusz Prucnal. (shrink)

General Introduction: In [1] a Calculus of Qualia (CQ) was proposed. The key idea is that, for example, blackness is radically different than █. The former term, “blackness” refers to or is about a quale, whereas the latter term, “█” instantiates a quale in the reader’s mind and is non-referential; it does not even refer to itself. The meaning and behavior of these terms is radically different. All of philosophy, from Plato through Descartes through Chalmers, including hieroglyphics and emojis, used (...) referential terms up until CQ. This paper in this series of papers addresses the question of why is there something rather than nothing, at length, and gives a radical new answer. It has to do with the fact in CQ that, while blackness is contingently possible, █ is necessarily actual, as it was in this sentence. (shrink)

A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim of this paper is (...) to show that a large class of non-classical logics are strong enough to formulate their own model theory in a corresponding non-classical set theory. Specifically I show that adequate definitions of validity can be given for the propositional calculus in such a way that the metatheory proves, in the specified logic, that every theorem of the propositional fragment of that logic is validated. It is shown that in some cases it may fail to be a classical matter whether a given sentence is valid or not. One surprising conclusion for non-classical accounts of vagueness is drawn: there can be no axiomatic, and therefore precise, system which is determinately sound and complete. (shrink)

In recent years there has been a revitalised interest in non-classical solutions to the semantic paradoxes. In this paper I show that a number of logics are susceptible to a strengthened version of Curry's paradox. This can be adapted to provide a proof theoretic analysis of the omega-inconsistency in Lukasiewicz's continuum valued logic, allowing us to better evaluate which logics are suitable for a naïve truth theory. On this basis I identify two natural subsystems of Lukasiewicz logic which individually, but (...) not jointly, lack the problematic feature. (shrink)

General Introduction: In [1] a Calculus of Qualia (CQ) was proposed. The key idea is that, for example, blackness is radically different than █. The former term, “blackness” refers to or is about a quale, whereas the latter term, “█” instantiates a quale in the reader’s mind and is non-referential; it does not even refer to itself. The meaning and behavior of these terms is radically different. All of philosophy, from Plato through Descartes through Chalmers, including hieroglyphics and emojis, used (...) referential terms up until CQ. This paper in this series of papers includes a relatively short but comprehensive discussion with the AI Claude 3.5 Sonnet on how the CQ impacts various theories of consciousness, including Materialism, Dualism, Idealism, and 14 others. (shrink)

When some P implies some Q, this should have some impact on what attitudes we take to P and Q. In other words: logical consequence has a normative import. I use this idea, recently explored by a number of scholars, as a stepping stone to a bolder view: that relations of logical consequence can be identified with norms on our propositional attitudes, or at least that our talk of logical consequence can be explained in terms of such norms. I investigate (...) the prospects of such a cognitive norm account of logical consequence. I go over the challenges involved in finding a plausible bridge principle connecting logical consequence to cognitive norms, in particular a biconditional principle that gives us not only necessary but sufficient conditions for logical consequence in terms of norms on propositional attitudes. Then, on the assumption that an adequate norm can be found, I consider what the philosophical merits of such a cognitive norm account would be, and what theoretical commitments it would generate. (shrink)

Is the societal-level of analysis sufficient today to understand the values of those in the global workforce? Or are individual-level analyses more appropriate for assessing the influence of values on ethical behaviors across country workforces? Using multi-level analyses for a 48-society sample, we test the utility of both the societal-level and individual-level dimensions of collectivism and individualism values for predicting ethical behaviors of business professionals. Our values-based behavioral analysis indicates that values at the individual-level make a more significant contribution to (...) explaining variance in ethical behaviors than do values at the societal-level. Implicitly, our findings question the soundness of using societal-level values measures. Implications for international business research are discussed. (shrink)

Most work on the semantic paradoxes within classical logic has centered around what this essay calls “linguistic” accounts of the paradoxes: they attribute to sentences or utterances of sentences some property that is supposed to explain their paradoxical or nonparadoxical status. “No proposition” views are paradigm examples of linguistic theories, although practically all accounts of the paradoxes subscribe to some kind of linguistic theory. This essay shows that linguistic accounts of the paradoxes endorsing classical logic are subject to a particularly (...) acute form of the revenge paradox: that there is no exhaustive classification of sentences into “good” and “bad” such that the T-schema holds when restricted to the “good” sentences unless it is also possible to prove some “bad” sentences. The foundations for an alternative classical nonlinguistic approach is outlined that is not subject to the same kinds of problems. Although revenge paradoxes of different strengths can be formulated, they are found to be indeterminate at higher orders and not inconsistent. (shrink)

Fan culture has grown immensely over the past few years. People are constantly looking up to celebrities and personalities as role models for their fashion, identity, and success. During the stage of adolescence, it is normal for teenagers to admire well- known people and form fan attachments as part of their identity formation. However, this admiration of a specific media figure can be associated with one's personality, cognitive processes, and psychological well-being. Thus, the current study aims to investigate the correlation (...) between celebrity admiration and the self-esteem of 238 Filipino male teenagers. The research instruments, namely Celebrity Attitude Scale (CAS) and Rosenberg Self-Esteem Scale (RSES) were both utilized through google forms. Results have shown high scores on celebrity admiration and the normal range of self-esteem of the participants. Using Pearson’s r correlation coefficient, it was found that celebrity admiration and self-esteem of Filipino male teenagers have a significant relationship that exists in a negative direction. (shrink)

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment (...) of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)

In this paper we focus our attention on tableau methods for propositional interval temporal logics. These logics provide a natural framework for representing and reasoning about temporal properties in several areas of computer science. However, while various tableau methods have been developed for linear and branching time point-based temporal logics, not much work has been done on tableau methods for interval-based ones. We develop a general tableau method for Venema's \cdt\ logic interpreted over partial orders (\nsbcdt\ for short). It combines (...) features of the classical tableau method for first-order logic with those of explicit tableau methods for modal logics with constraint label management, and it can be easily tailored to most propositional interval temporal logics proposed in the literature. We prove its soundness and completeness, and we show how it has been implemented. (shrink)

Introduction: The Faculty of Medicine, University of Moratuwa, established during the COVID-19 pandemic, was compelled to conduct the teaching activities online for the first intake of students until their first bar examination. Online learning is known to be linked to several health issues. This study aims to explore the academic performance and perceived health effects related to online learning in the Faculty of Medicine, Moratuwa. Methods: A descriptive cross-sectional study was conducted among all 104 first-intake students using an anonymous online (...) self-administered questionnaire to explore health effects and academic performance after ethical clearance. Results: Out of 104 students, 82 students responded (response rate=78.85%). Majority participated from home using their own laptop (74.4%) and personal Wi-Fi (69.5%) and spent 5-10 hours daily for online academic activities (72%). Majority complained of related physical (86.6%), and psychological (81.7%) health issues: eye problems (69.5%), headache (47.6%), backache (43.9%), stress (46.3%) and concentration difficulties (45.1%). The first bar examination was cleared by 84.1% with the majority (52.4%) obtaining classes. There was a statistically significant positive association (p< .05) between physical and psychological health concerns with the average screen-time spent on academic activities, but not with the academic performance. There was also no statistically significant association between screen-time and academic performance. Conclusions: Majority of students using online learning had related physical and psychological health issues which were positively associated with the screen-time though not with academic performance. Designing online activities with less screen time may be considered as a strategy to minimise health effects related to online learning. (shrink)

Achieving space situational awareness requires, at a minimum, the identification, characterization, and tracking of space objects. Leveraging the resultant space object data for purposes such as hostile threat assessment, object identification, and conjunction assessment presents major challenges. This is in part because in characterizing space objects we reference a variety of identifiers, components, subsystems, capabilities, vulnerabilities, origins, missions, orbital elements, patterns of life, operational processes, operational statuses, and so forth, which tend to be defined in highly heterogeneous and sometimes inconsistent (...) ways. The Space Domain Ontologies are designed to provide a consensus-based realist framework for formulating such characterizations in a way that is both consistent and computable. Space object data are aligned with classes and relations in a suite of ontologies built around the existing Space Object Ontology. They are stored in a dynamically updated Resource Description Framework triple store, which can be queried to support space situational awareness and the needs of spacecraft operators and analysts. This paper provides an overview of the Space Domain Ontologies and their development and use. It presents the motivation for and advantages of the Space Domain Ontologies, including the benefits they provide for enhancing and maintaining long-term space situational awareness. (shrink)

The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been noted that in order (...) to specify the truth conditions of certain sentences involving constants or variables that don’t denote, one has to apparently quantify over things that are not identical to anything. In this paper I defend a contingentist, non-Meinongian metaphysics within a positive free logic. I argue that although certain names and free variables do not actually refer to anything, in each case there might have been something they actually refer to, allowing one to interpret the contingentist claims without quantifying over mere possibilia. (shrink)

The sphere of international tourism for the period 2000–2018 has been explored and analyzed in the article. The dynamics of the world tourist flows development and income from international tourism are considered, the determinants of development are derived, the regional structure of the world market of tourist services is given. The development of the tourism industry in the world is analyzed by indicators: the number of tourist arrivals, tourism revenues at current prices, total contribution of tourism to GDP. The main (...) tourist regions are analyzed in the context of the study, they are compared both in terms of the number of tourist visits, and a list of the TOP 10 countries by volume of foreign exchange earnings from tourism in recent years. It is concluded that in recent years, there is a continuing upward trend in demand for emerging markets, with old markets such as the European market, partially losing its popularity. In the process of research, it is determined that in the conditions of development of the world economy, expansion of volumes of international trade, improvement of means of transport, communication, increase of internationalization and globalization of the world economy the demand for tourist services increases. One of the peculiarities of the development of the international tourist services market is the globalization of the market, which has reached all sectors of the tourism industry. It is concluded that nowadays international tourism is an important area of international economic activity, a complex sphere that significantly affects both the structure and the situation in the world economy as well as the economies of most individual countries and regions of the world. Tourism development has a stimulating effect on such sectors of the economy as transport, communications, trade, construction, agriculture, production of consumer goods, and іt is one of the most promising areas of structural restructuring of the economy, confirming the amount of foreign exchange earnings from tourism in the world in general and in individual countries. It is the increasing demand for tourism services and the volume of foreign exchange earnings from tourism in the world makes the topic relevant for further research. (shrink)